Description Logics − Preliminary Investigations
نویسنده
چکیده
This report has been submitted forr publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report forr early dissemination of its contents. In view of the transfert of copy right too the outside publisher, its distribution outside of ITC priorr to publication should be limited to peer communications and specificc requests. After outside publication, material will be available only inn the form authorized by the copyright owner.
منابع مشابه
Preliminary Investigations into Interactive Classiication in Description Logics
Interactive classiication in description logics is the process of querying a user to obtain information about an individual in a description logic knowledge base. A complex formalization of this process takes into account the expected costs of the entire decision tree to determine the best placement of the individual. A simpler, and easier to compute , formalization uses costs only for determin...
متن کاملReasoning in description logics with variables: preliminary results regarding the EL logic
This paper studies the extension of description logics with variables ranging over infinite domains of concept names and role names. As a preliminary work, we consider more specifically the extension of the logic EL with variables and we investigate in this context two reasoning mechanisms, namely compliance (a kind of matching) and pattern containment. The main technical results are derived by...
متن کاملBase Revision in Description Logics - Preliminary Results
Belief Revision deals with the problem of adding new information to a knowledge base in a consistent way. The theory has been developed having in mind classical logics. In this paper, we show some problems of applying belief revision methods directly to ontologies represented in description logics and propose new operations that overcome these problems.
متن کاملTableau-Based ABox Abduction for Description Logics: Preliminary Report
ABox abduction is an important reasoning problem for description logics (DL) with applications in diagnosis, manufacturing control, multimedia interpretation, etc. Several abductive reasoners for DL were designed and implemented using a translation to first-order logic or logic programming. Algorithms for ABox abduction based directly on native DL reasoning techniques, such as tableau algorithm...
متن کاملDatalog and Description Logics: Expressive Power - Preliminary Report
This paper investigates the possibility of exploiting formal analysis tools developed in the database field for the purpose of studying the expressive power of description logics augmented with rule-based query languages. We report a preliminary analysis on the expressive power of such hybrid languages. Two specific languages coupling a terminological component with Horn rules are considered. I...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002